1. Agreement technologies :
Author: Marin Lujak (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Agreement protocols (Computer network protocols), Congresses.,Multiagent systems, Congresses.,Agreement protocols (Computer network protocols),Multiagent systems.
Classification :
QA76
.
76
.
I58
2. Automatic verification methods for finite state systems : Proceedings
Author: J. Sifakis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
407
3. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer network protocols-- Congresses
Classification :
TK
5105
.
5
.
A97
1990
4. Cache and interconncect architectures in multiprocessord
Author: / edited by Michel Dubois and Shreekant S. Thakkar
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer networks protocols -- Congresses,Multiprocessors -- Congresses,Computer network architectures -- Congresses
Classification :
TK
5105
.
5
.
C33
1990
5. Communications architectures & protocols
Author: / SIGCOMM - - Symposium
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer networks -- Congresses,Computer network protocols -- Congresses,Computer network architectures -- Congresses,Telecommunication systems -- Congresses
Classification :
TK
5105
.
5
.
C63694
6. Data communications and their performance: proceedings of the sixth IFIP WG6.3 Conference on Performance of Computer Networks, Istanbul, Turkey, 1995
Author: edited by Serge Fdida and Raif O. Onvural
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Multimedia systems,Congresses ، Computer network protocols,Congresses ، Multiplexing,Congresses ، Telecommunication - Switching systems,Congresses ، Computer networks,Congresses ، Asynchronous transfer mode,Congresses ، Data transmission systems,Congresses ، Information superhighway
Classification :
TK
5105
.
35
.
I55
1995
7. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Author: sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
9
.
D5
I545
1994
8. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
Classification :
QA
76
.
9
.
D5
.
I33845
1997
9. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
10. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
11. Foundations of security, protocols, and equational reasoning :
Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
Classification :
QA76
.
9
.
A25
12. Human interactive proofs
Author: / Henry S. Baird, Daniel P. Lopresti (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Pattern recognition systems,Computer security, -- Congresses, -- Congresses,a04,a07,Computer network protocols--Congresses.,Computers--Access control--Congresses.
Classification :
TK7882
.
P3
H57
2005
13. Human interactive proofs : second international Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings
Author: Henry S. Baird, Daniel P. Lopresti )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Pattern recognition systems,Congresses ، Computer network protocols,Congresses ، Computers -- Access control,Congresses ، Computer security
Classification :
QA
76
.
L28
Vol
.
3517
14. 1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993: : proceedings
Author: International Conference on Network Protocols )3991 : San Francisco, Calif.(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer network protocols- Congresses
Classification :
TK
5105
.
55
.
I58
1993
15. Modelling and performance evaluation methodology: Proceedings of the International Seminar, Paris, France, January 24-26, 1983
Author: edited by F. Baccelli and G. Fayolle
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Computer networks,Congresses ، Queueing theory,Congresses ، Computer network protocols
Classification :
TK
5105
.
5
.
M63
1984
16. Multiple Access Communications
Author: \ [edited by] Magnus Jonsson...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Multiple access protocols (Computer network protocols) -- Congresses.,Digital communications -- Congresses.,Computer Communication Networks.,ارتباطات رقمی -- کنگرهها ,شبکههای ارتباطی کامپیوتری
Classification :
TK
5105
.
5
.
M8
2015
E-Book
,
17. Multiple access channels
Author: / edited by Ezio Biglieri and L?szl? Gy?rfi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Multiple access protocols (Computer network protocols) , Congresses,Computer network protocols,Electronic books. , local
Classification :
E-BOOK
18. Multiple access channels: theory and practice [electronic resource]
Author: / edited by Ezio Biglieri and Laaszlao Gyeorfi
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Multiple access protocols (Computer network protocols)--Congresses
Classification :
EB
,
TK5105
.
55
.
N378
2006
19. Multiple access communications
Author: / Boris Bellalta ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Digital communications--Congresses,Multiple access protocols (Computer network protocols)--Congresses
Classification :
TK5103
.
7
.
M33
2012
20. Multiple access communications
Author: Boris Bellalta ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital communications, Congresses,Multiple access protocols (Computer network protocols), Congresses
Classification :
TK5103
.
7
.
M33
2012eb
